
static inline struct hrtimer_clock_base *switch_hrtimer_base(struct hrtimer *timer,
                                                             struct hrtimer_clock_base *base,
                                                             int pinned)
{
    // TODO smp
    return base;
}
